841. TAPSOFT'93 : Theory and practice of software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993: proceedings
پدیدآورنده : M.C. Gaudel, J.P. Jouannaud )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
668
842. TAPSOFT'87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
پدیدآورنده : edited by Harmut Ehrig...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
249-250
843. TAPSOFT 91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer software-- Development-- Congresses
رده :
QA
76
.
76
.
D47
.
I58
1991
844. TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987. v.1.: Advanced seminar on foundations of innovative software development 1 and collquium on trees in algebra and programming )CAAP '87(
پدیدآورنده : Edited by Hartmut Ehrig...]et al.[
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Computer software - Development,Congresses ، Software engineering,Data processing - Congresses ، Trees )Graph theory(
رده :
QA
76
.
L4
v
.
249
845. TAPSOFT'89 : proceedings of the International Joint conference on theory and practice of software development, Barcelona, Spain, March 13-17, 1989
پدیدآورنده : J. Diaz, F. Orejas )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
351-352
846. TAPSOFT 91 : proceedings of the international joint conference on theory and practice of software development, Brighton, UK, April 8-12, 1991
پدیدآورنده : S. Abramsky, T.S.E. Maibaum )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
493-494
847. TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer software-- Development-- Congresses
رده :
QA
76
.
76
.
D47
.
I58
1993
848. TAPSOFT'97 : theory and practice of software development : 7th International Joint Conference CAAP/ FASE ... 1997 : proceedings
پدیدآورنده : Michel Bidoit, Max Dauchet )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
1214
849. Tableaux de Young et foncteurs de Schur en algebre et geometrie = Tablic Younga i funktory Schura w algebrze i geometrii : Conference Internationale, Torun, Pologne, 27 aout-3 Septembre 1980
پدیدآورنده :
کتابخانه: (طهران)
موضوع : Congresses ، Rings )Algebra(,Congresses ، Representations of groups
رده :
QA
3
.
A78
Vol
.
87-88
850. Tapsoft '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
پدیدآورنده : S. Abramsky, T.S.E. Maibaum, eds,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Computer software - Development - Congresses
رده :
QA
.
D47I58
76
.
76
1991
851. <The> Novikov conjecture
پدیدآورنده : Matthias Kreck, Wolfgang Luck
کتابخانه: (کرمان)
موضوع : Novikov conjecture- Congresses,K-theory- Congresses,Noncommutative differential geometry- Congresses,Differential topology- Congresses
رده :
QA
613
.
K74
2005
852. The Novikov conjecture :
پدیدآورنده : / Matthias Kreck, Wolfgang LouA╝ck
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Novikov conjecture , Congresses,K-theory , Congresses,Noncommutative differential geometry , Congresses,Differential topology , Congresses
رده :
E-BOOK
853. The Novikov conjecture : geometry and algebra
پدیدآورنده : Kreck, Matthias, 7491-
کتابخانه: (طهران)
موضوع : Congresses ، Novikov conjecture,Congresses ، K-theory,Congresses ، Noncommutative differential geometry,Congresses ، Differential topology
رده :
QA
613
.
K73N6
854. The Novikov conjecture: geometry and algebra
پدیدآورنده : Kreck, Matthias
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Novikov conjecture,Congresses ، K-theory,Congresses ، Noncommutative differential geometry,Congresses ، Differential topology
رده :
QA
613
.
K74
2005
855. The Novikov conjecture: geometry and algebra
پدیدآورنده : Kreck, Matthias
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Novikov conjecture,Congresses ، K-theory,Congresses ، Noncommutative differential geometry,Congresses ، Differential topology
رده :
QA
613
.
K74
2005
856. The Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers
پدیدآورنده : edited by N. Inada, T. Soma
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Algebra
رده :
QA
155
.
7
.
E4I58
1984
857. Theory and applications of finite fields : the 10th International Conference on Finite Fields and Their Applications, July 11-15, 2011, Ghent, Belgium
پدیدآورنده : Michel Lavrauw... ]et al.[, editors
کتابخانه: (طهران)
موضوع : Congresses ، Finite fields )Algebra(,Congresses ، Arithmetical algebraic geometry,Congresses ، Number theory,Congresses ، Coding theory
رده :
QA
247
.
3
.
I54
2011
858. Three lectures on commutative algebra
پدیدآورنده : Holger Brenner, Jurgen Herzog, Orlando Villamayor; edited by Gemma Colome-Nin ... ]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Commutative algebra
رده :
QA
251
.
3
.
T475
859. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Tiziana Margaria, Bernhard Steffen, (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
860. Topics in Computational Algebra
پدیدآورنده : edited by G.M. Piacentini Cattaneo, E. Strickland.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra -- Data processing -- Congresses.,Algebra -- Data processing.
رده :
QA155
.
7
.
E4
E358
1990
